/*
Error: two modules with the same name
*/

module A {}

module A {}
